$A$ $\subseteq$ $B$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$a$$\in$$A$. ($a$ $\in$ $B$)